$\vdash$  $\forall$$p$,$q$:$\mathbb{B}$. ($\uparrow$$p$ =b $q$) $\Leftarrow\!\Rightarrow$ ($p$ = $q$)